Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
651	The 19th International Static Analysis Symposium Deauville, France[removed]September 2012 S AS[removed] Add to Reading List Source URL: www.sas2012.ens.fr Language: English - Date: 2012-07-03 06:17:35 Theoretical computer science Abstract interpretation Applied mathematics Model checking Program analysis Abstract management Formal verification Software bug Computer science Formal methods Logic in computer science Patrick Cousot
652	NBD(NIST Big Data) Requirements WG Use Case Template Aug[removed]Use Case Title Statistical Relational AI for Health Care Vertical (area) Healthcare Author/Company/Email Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-08-25 09:47:22 Formal sciences Database management systems Database theory Emerging technologies Transaction processing Data analysis Big data Database Mashup Technology Computing Data management
653	Formal Analysis of Security Metrics and Risk Leanid Krautsevich1, Fabio Martinelli2 , and Artsiom Yautsiukhin2 1 2 Add to Reading List Source URL: wwwold.iit.cnr.it Language: English - Date: 2011-08-10 05:58:47 Computer security Hacking Software testing Vulnerability Risk Management Ethics Risk management
654	COMBINATORIAL MODELS OF CREATION–ANNIHILATION arXiv:1010.0354v1 [math.CO] 2 Oct 2010 PAWEL BLASIAK AND PHILIPPE FLAJOLET Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2010-10-06 07:05:49 Combinatorics Integer sequences Number theory Feynman diagram Partition Finite difference Formal power series Enumerative combinatorics Derivative Mathematics Mathematical analysis Diagrams
655	NBD(NIST Big Data) Requirements WG Use Case Template Aug[removed]Use Case Title Light source beamlines Vertical (area) Research (Biology, Chemistry, Geophysics, Materials Science, others) Author/Company/Email Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-08-26 18:30:46 Particle physics Formal sciences National Energy Research Scientific Computing Center Beamline Data analysis Big data Physics Science Technology
656	Current Draft: NBD(NIST Big Data) Requirements WG Use Case Template Use Case Title Large Scale Geospatial Analysis and Visualization Vertical (area) Defense – but applicable to many others Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-09-04 18:19:24 Computational science Infographics Scientific modeling Data management Formal sciences Geographic information system Visualization National Imagery Transmission Format Big data Science Technology Computer graphics
657	NBD(NIST Big Data) Requirements WG Use Case Template Aug[removed]Use Case Title Statistical Survey Response Improvement (Adaptive Design) Vertical (area) Government Statistical Logistics Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-09-07 08:51:23 Formal sciences Business intelligence Data analysis Demography Survey methodology Data visualization Big data Data quality Analytics Statistics Science Technology
658	NIST Special Publication[removed]DRAFT NIST Big Data Interoperability Framework: Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2015-04-02 10:57:16 Database management systems Database theory Business intelligence Big data Data mining Data model Data quality Data analysis Data warehouse Data management Information Formal sciences
659	BAP: A Binary Analysis Platform David Brumley, Ivan Jager, Thanassis Avgerinos, and Edward J. Schwartz Carnegie Mellon University 5000 Forbes Ave., Pittsburgh, PA, USA Abstract. BAP is a publicly available infrastructur Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-12-17 15:18:11 Computer programming Software engineering Programming language implementation Runtime verification Formal verification X86 Compiler Pin Disassembler Computing Formal methods Logic in computer science
660	Microsoft PowerPoint - 02_03_NIST BDWS DBOYD Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2014-11-27 23:51:41 Information Data analysis Information science Business intelligence Data quality Big data Data fusion Analytics Technology Data management Formal sciences

UPDATE